Trong toán học, một phủ của một tập hợp X {\displaystyle X} là một họ các tập con có hợp chứa X {\displaystyle X} như là một tập con. Hay nói cách khác, nếulà một họ đánh chỉ số của các tập U i {\displaystyle U_{i}} , thì C {\displaystyle C} là một phủ của X {\displaystyle X} nếu